home *** CD-ROM | disk | FTP | other *** search
/ Languguage OS 2 / Languguage OS II Version 10-94 (Knowledge Media)(1994).ISO / language / coral / readme < prev   
Text File  |  1994-10-18  |  4KB  |  89 lines
  1.  
  2.  This is CORAL Release 1.1 ! (dated May 4, 1994)
  3.  
  4.  This directory contains the compressed tar files for 
  5.  the CORAL deductive database system.
  6.  
  7.  Please send mail to coral@cs.wisc.edu if you have
  8.  any questions regarding CORAL. We would also
  9.  appreciate it if you could let us know what 
  10.  applications you intend to use CORAL for.
  11.  
  12.  The documentation accompanying the release is
  13.  in the coral/doc directory which is created after
  14.  untarring the tar file. The installation
  15.  instructions are in the file install.chap
  16.  in the ftp directory.
  17.  
  18.  The files of interest in this directory are :
  19.     README                :: (we are, after all, into recursion :-])
  20.     install.chap          :: installation document for CORAL
  21.     coral.1.1.nobin.tar.Z   :: contains src code for CORAL, but no binaries
  22.     coral.1.1.mipsbin.tar.Z :: contains MIPS binaries for CORAL
  23.     coral.1.1.sun4bin.tar.Z :: contains SUN4 binaries for CORAL
  24.     coral.1.1.hpbin.tar.Z   :: contains HP700 binaries for CORAL
  25.  
  26.  Split file versions of the three tar files are also provided.
  27.  Please ensure that you are in binary mode when ftping binaries.
  28.  The file coral.1.1.nobin.tar.Z was changed on June 14th to fix
  29.  compilation bugs that occurred when turning on certain compilation
  30.  flags. If you have retrieved this release before this date and found
  31.  compilation problems when turning on the -DWITH_PERSISTENCE flag,
  32.  please try this new copy of the sources.
  33.  
  34.  RELEASE NOTICE
  35.  --------------
  36.  The CORAL deductive database/logic programming system developed
  37.  at the University of Wisconsin-Madison is now available via
  38.  anonymous ftp from ftp.cs.wisc.edu.  The distribution includes
  39.  source code compatible with both ATT C++ (version 2.0 and later)
  40.  and g++, executable versions of the system, the CORAL User Manual,
  41.  and some related papers containing a language overview and 
  42.  implementation details.
  43.  
  44.  CORAL can be compiled and executed on SUN4/SPARC workstations, DECstations
  45.  and HP-700 series workstations. Executable binaries for all three
  46.  are included in the release.
  47.  
  48.  About CORAL ::
  49.  --------------
  50.  The CORAL declarative language is based on Horn-clause rules with
  51.  extensions like SQL's group-by and aggregation operators, and uses
  52.  a Prolog-like syntax.  Some notable features of the system are
  53.  listed below.
  54.  
  55.     *  Many evaluation techniques are supported, including 
  56.        bottom-up fixpoint evaluation and top-down backtracking.
  57.  
  58.     *  A module mechanism is available.  Modules are separately
  59.        compiled; different evaluation methods can be used in
  60.        different modules within a single program.
  61.  
  62.     *  A broad class of programs with negation and set-generation is
  63.        supported that includes the class of ``modularly-stratified
  64.        programs'',  
  65.  
  66.     *  The data types supported include numeric and string
  67.        constants, functor-terms, lists, sets, multisets, 
  68.        arrays and non-ground terms (e.g. difference-lists).
  69.  
  70.     *  Disk-resident data is supported via an interface to the
  71.        Exodus storage manager.
  72.  
  73.     *  There is an ``explanation'' package based on Interviews
  74.        that allows users to examine ``derivation trees'' for
  75.        facts using a graphical menu-driven interface.
  76.  
  77.     *  A good interface to C++ is provided.  Relations defined
  78.        using the declarative language can be manipulated from
  79.        C++ code, and relations defined using C++ code can be
  80.        used in declarative rules.  C++ code defining relations
  81.        can be incrementally loaded.
  82.  
  83.     *  There is an on-line help facility.  The manual is
  84.        tutorial in nature, and contains several programs, all
  85.        of which are available as part of the distribution.
  86.        Several additional examples are included as well.
  87.  
  88.  
  89.